extern void print_double(double x);

int main()
{
	double i = 0.0, s = 0.0;
	while (i <= 100.0)
	{
		s += i;
		i += 1.0;
	}
	print_double(s);
	return 0;
}
